Reasoning tutorial